void SFKernelPanic(char *msg, char *sender);
void SFSysLog(char *msg);
